<HTML>
<BODY>
BitVector and vector utilities
</BODY>
</HTML>
